翻訳と辞書 Words near each other ・ Japan–Venezuela relations ・ Japan–Vietnam relations ・ Japaratinga ・ Japaratuba ・ Japaratuba River ・ Japaraíba ・ Japaridze ・ Japaridze (noble family) ・ Japaridze's polymodal logic ・ Japca ・ Japca Monastery ・ Japchae ・ Jape ・ Jape (band) ・ JAPE (linguistics) ・ Jape (software) ・ Japec Jakopin ・ Japelaq District ・ Japelaq-e Gharbi Rural District ・ Japelaq-e Sharqi Rural District ・ Japen Patel ・ Japen rat ・ Japenzin ・ Japeri ・ Japeth Aguilar ・ Japetus Steenstrup ・ Japeuthria ・ Japewia ・ Japewiella ・ JAPEX Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Jape (software) ： ウィキペディア英語版 Jape (software) Jape 〔Richard Bornat, "(Proof and Disproof in Formal Logic: An Introduction for Programmers )."〕 is a configurable, graphical proof assistant, originally developed at the University of Oxford. It allows user to define a logic, decide how to view proofs, and much more. It works with variants of the sequent calculus and natural deduction. It is claimed〔C. Kaliszyk, F. Wiedijk, M. Hendriks and F. van Raamsdonk, "( Teaching logic using a state-of-the-art proof assistant )." In: H. Geuvers and P. Courtieu (eds.), ''PATE'07, International Workshop on Proof Assistants and Types in Education,'' 37–50, 2007.〕 that Jape is the most popular program for "computer-assisted logic teaching" that involves exercises in developing proofs in mathematical logic. The program is available for the Mac, Unix, and Windows operating systems. It is written in the Java programming language and released under the GNU GPL. ==References== 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Jape (software)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.